Article révisé par les pairs
Titre:
  • Construction of S-invariants and S-components for Refined Petri Boxes: in Proceedings of the 14th International Conference on Application and Theory of Petri Nets 1993
Auteur:Devillers, Raymond
Informations sur la publication:Lecture notes in computer science, 691, page (242-261)
Statut de publication:Publié, 1993-06
Sujet CREF:Informatique mathématique
Informatique générale
Note générale:Work done within the Esprit Basic Research Working Group 6067 CALIBAN (CAusal calcuLI BAsed on Nets).
SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/3-540-56863-8_50
info:scp/0347547177